Latest solar2d builds should have this files in root of the distribution. Try copying them near coronabuilder.exe