Hardcoded file names are hard