Unicode fixes in catkin_make_isolated