Use installer and stage3 files from v9, with minor modifications