I downloaded the most recent 7.2 release from
ftp://ftp.eiffel.com/pub/download/72/Eiffel72_gpl_91351-linux-x86-64.tar.bz2

However EV_PIXEL_BUFFER does not have a stretch routine in this build.

Where can I get the lastest stable build that has {EV_PIXEL_BUFFER}.stretch?