Fixes for WPILib so it compiles with GCC 4.8