travis-ci: seemed to work last time; shortened the test, tweaking to get eigen detected under linux properly => HF test