I'm currently working on packaging the new GMT 5, which is a major upgrade. What is not too clear to me is if it makes sense mantaining both 4 and 5 series in Debian or not. Comments are welcome, because my current use of gmt is quite marginal. #723089 also needs care, and hints are welcome. It could be a side effect of some compiler optimization, indeed. -- Francesco P. Lovergine