drop .menu file; jabref ships a .desktop file