I didn't realize this before, but the output filename is rather
unpredictable. Apparently it can be name.eps or name-1.eps. (For
instance, "Creating music with Scheme (music box)" creates no
name.eps, just name-1.eps). This is of course a nuisance when
converting to png. Any suggestion?