JSONtool is no longer a dep.