service-proxy-mike-mac.properties is generated by a Makefile, by