work around problem on travis I don't know how to diagnose