Fix compilation crash. The header wasn't included, so do it manually.