Fix a path bug in a #include that is preventing build