Task xc: check that executables have different names for each target platform