osx: fix header file