But get_mimetype($filename) now gets the correct mimetype, so this shouldn't be necessary?