added missing header file (only seems to be recognized on ubuntu)