rm: platform files that should be ignored