Travis-ci: make sure /usr/include/linux/filter.h is available.