Alternate way to specify different source files for each platform