apparently, mat.hpp is included from core.hpp, so there is no need to include this header either