Thought of that and tried building my own version yesterday. Build failed with the message that it couldn't find the C++ compiler 'arm-frc-linux-gnueabi-g++'
Apparently I hadn't installed FRC Toollchains (
http://first.wpi.edu/FRC/roborio/toolchains/) on this computer yet.
This computer's running Ubuntu 16.10 (Yakkety). Apparently there isn't a Yakkety version of the arm debugger (gdb-arm-frc-linux-gnueabi) yet; but I installed the rest of the frc-toolchain dependencies.
Build succeeded and the GearsBot demo runs at a glacial pace (~4 fps). Just what I've come to expect when using Intel integrated graphics.
Convincing enough that I'll try upgrading the computer with the GeForce 960 to the latest Ubuntu LTS.