bad file name for core in build