TEMP: debug travis failure4