Actually remove config.properties from the repo