[cvs-nhc98] patch applied (nhc98): Fix pragma handling in driver script (from Matthias Kilian).