Remove spurious files created by Mac OS X. Sigh...