FIX: missed header name for travis-ci filter