Explicitly use rbx-2 on travis ci