Avoid spaces in html help include path by copying the header file to the global dir