travis: another try at a workaround