===> Cleaning for yosys-0.45