Do test -short in travis as well