Modified travis configs