i guess this is an error in open_pdks