replace vga_ise/