TravisCI: debugging missing header