update tools for travis fix