Modified testall to work with ./smurf.byte