update of travis file.