Try out workaround-free travis configuration.