Modify headers to build hal