Where is the file Avalon_VGA_Controller.zip ?

Hello, I would like to add a framebuffer to the Nios II board, and to do so, I follow the instructions mentioned in the nioswiki : nioswiki.com/OperatingSystems/UClinux/FrameBuffer There...