Update Renderbuffer.hs