range.h: Add a missing header