fixing header file includes for Linux