Re: Weird "missing hi file" problem with a serializable Core patch