Packages with the pdk13 use flag