Fix synjitsu config.ml