bugfix
removing unnecessary crap from robot_library