Fix includefile issue on MacOS

(... I wish I knew of a decent automated way to test
for #include sanity (at least for indirect include
dependencies that should be explicit)).