Update to version 2.5.8 (bugfix release). This also fixes a bug for which we had a workaround in ports. Fix: My previously submitted patch seems to be obsoleted now :) Please remove files/patch-src_script.h and files/ subdir.
State Changed From-To: open->closed Committed, thanks.