===> Cleaning for jsonnet-0.13.0