Fixing bug in compilation flag for fault tolerance.