Workaround for travis-ci #1689