removing property_mappings.cc This file should never have been added to Git. It can be deleted on anyone's system.