Modify header file for Ubuntu