#5: use $BUILDER rather than $ROS_DISTRO to decide command to be used