travis-ci: minor touch to trigger re-compilation..
Issue #764