Fix #74. Correction of previous commit for gcc 4.8.1

- an include was missing after reorganisation.
Merge remote-tracking branch 'triqs_lib/master'