fix handling non-ascii characters in catkin_make (fix #476)