minor changes to get deb packages working again