I can confirm that midiplay works; I've used it in the past, before I
knew any better. But using a midi file player to play a *.mid file via
the PC speaker is a very roundabout way to produce a beep. I like
redirecting stuff to /dev/speaker better. YMMV.