Fix missing header file for linux