Allow user to specify compilation server in execute_program