fix Travis config. Ref #45