Merging bug fix for gcbench exit from development branch.