I've set up a branch in SVN to contain fixes to the current release. I'm intending to limit this to problems that have been found since the release which actually affect people. Other problems will be fixed in trunk and included in the next release. So far I've applied the fix to the problem with X-Windows that Rob reported and a fix that Aleksej Saushev sent for the Makefiles under BSD.
The branch can be found using svn co https://polyml.svn.sourceforge.net/svnroot/polyml/fixes-5.3
Depending on what else comes up I may produce a 5.3.1 release. Meanwhile there's ongoing work towards 5.4.
Regards, David