Debian wheezy fixes

Small fixes for debian.