Restored a #include removed by Nokia, but needed for travis-ci.