===> Cleaning for yosys-0.46