While exploring the *.cmdline files created by the build (thank you, those are very helpful!) I noticed that they all contain -DTHIS_FILE='""' Probably there should be an actual file name there.