Added missing header which broke Linux builds.