If you use an encrypted overlay partition you have to issue other commands than with an unencrypted overlay.

Where did you find the instructions on how to install AviDemux? I would try the version from deb-multimedia.org for the wheezy distribution.