Fix bugpoint execution/reference output file name