- make travis-ci happy again...

It got broken in commit 6a332bc1c651b1555a5891f0a7db07795f4602ca