Added missing header -- had not noticed this error until building in Ubuntu Trusty