Work around OS X's odd way of storing filenames.