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