fix travis build (header missing)