Fix travis config. Fix #9