when I check the directory, the /spice directory is missing. I tried reinstalling the open-pdks but without any luck. Does any of you encountered he same problem? Thank you.