Merge pull request #3345 from alexanderkyte/fix_mini_aot_flags