extproc ksh
echo Please run os2/configure.