don't rely on magic filenames