.. gcc 4.8.1 is whining about missing header ..