make get_roslaunch_pids available to others