The best would be to rewrite miniltx to handle the star form of \ProcessOptions. If you or anyone can provide a patch, I'm sure David will accept it. He accepted the last one I sent him without a quibble. I started to try to write it myself but got bogged down.