Added back project.properties; users may need to modify the links there