@GitHub: deleting local.properties