Fix platform_remove_file