clean up cocotb Makefiles