Fix the behaviour of the hhvm restart mechanism