Release of August 1st, 2013 (2)

Fix start.sh (no more modification required)