modify raSAT executable for running on JAIST server