fix #170: remove wrong entry in application menu (Mac OS X)