travis : try to set the default shell for already existing user travis to /bin/bash (2)