Is there a platform cache and can I have it rebuilt?

Indeed it is that file that is built.

And that is also the file that you modified?

You can add

#error "Yep mods were built"

at the top of that c file and press build again to make absolutely sure that your modified file is built. The build must then fail with the custom error message above.