let build_date = "Thu Dec 20 22:15:57 CET 2007"