While at it, switch to OPTIONS helper and install header files in a dedicated directory to avoid potential clashes.