Fix travis config for #9