so I've just reinstalled the pdk using the up to date version from RTimothyEdwards, and have tried running a sim using the sky130.lib.spice file generated. However it's several orders of magnitude slower to simulate compared to the one I was previously using from https://github.com/mattvenn/sky130_fd_pr . Is this normal/expected and is there anything I can do about it? Using the updated version does seem to have fixed problems with scaling MOSFETs I was having before which were in line with a previous discussion here