Hacks to avoid reserved filenames