[Bug 768539] Education/libeigen3-devel: damaged include file, C++ template library