src/distrib/alpha/rz25dist