include fix on osx (TODO: check if it still works on other systems)