Bugfixes for debian package build