added missing header file on some systems