This reverts commit c2fc97b138. The respective change in travis-core was reverted meanwhile: 95d59342e9
c2fc97b138
95d59342e9