Workaround Travis CI issue 1754