#2 Update platform-dependent files