fixed build-arguments bug
fixed build-arguments bug

ChrisTimperley/AutomatedRepairBenchmarks.c,squaresLab/RepairBox,ChrisTimperley/RepairBox,ChrisTimperley/AutomatedRepairBenchmarks.c,ChrisTimperley/AutomatedRepairBenchmarks.c,ChrisTimperley/AutomatedRepairBenchmarks.c,ChrisTimperley/RepairBox,ChrisTimperley/AutomatedRepairBenchmarks.c,ChrisTimperley/AutomatedRepairBenchmarks.c,ChrisTimperley/RepairBox,ChrisTimperley/RepairBox,ChrisTimperley/RepairBox,ChrisTimperley/RepairBox,ChrisTimperley/AutomatedRepairBenchmarks.c,ChrisTimperley/AutomatedRepairBenchmarks.c,ChrisTimperley/RepairBox,ChrisTimperley/AutomatedRepairBenchmarks.c,ChrisTimperley/RepairBox,ChrisTimperley/RepairBox,ChrisTimperley/RepairBox