Fixes overwriting platform-specific Alloy files with general ones