Workaround for travis-ci#2655