Use local debian-menu.xml - system wide file seems invalid for now