redirect vrep output into a file