Rename vex to push button sensor