WritePropertiesFile generally works