7c7cd25 haiku for 07-31-2013