travis: fix include bug #1