fixes to build script and to debian package builder