github.com/johnnyeven/libtools@v0.0.0-20191126065708-61829c1adf46/third_party/eigen3 (about) BUILD Eigen LICENSE gpu_packet_math.patch unsupported