add distribution specification in travis configo