Another workaround attempt for Travis