include-path doesn't seem to be documented (???) so let's see if we can get away without it...