Hopefully set the correct header file paths