Add a missing header.

It wasn't necessary for me with g++, but might as well be correct.