Fixed csmith test script