Working around missing sharedctypes in some platforms