Make it work for travis