Fix broken `setup_builtin_patches`