Update tools for splash 1.2