Make it work with travis