Edited debian/menu