more simplifications to debian package