Get rid of one unnecessary HAVE_MENU ifdef