===> Cleaning for yosys-0.38nb2