B: compile fix, it wasn't a huge idea to give the same name to an own
header as the name of an std header