Fix restarting a build

Created by  Eelco Dolstra  on July 10, 2015
GSMOFPKFXYXFBA7A2GGE3GBS4BXAST6O7I7HZNT3LR7BTAONFVUAC
Change contents