src/linalg2.hpp: include a missing header