Attempt at making the run file load PraSem locally.