Fixed name of coretest source file.