Do not rely on version number in travis ci file