char compiled_version[] = "Version A.901 Tue Jun 19 09:43:01 PDT 2012";