fix up the missing headers for travis-ci.