===> Cleaning for yosys-0.38nb4