splitting FILES.src into common and platform-specific stuff