experimentation to get experiment10_verilog work with FreePDK