Fix bogus return value from `pintos' utility when calling Bochs