Fix #74. Correction of previous commit for gcc 4.8.1

- an include was missing after reorganisation.