bug fixing in setup and travis config