Apply patch from Daniel Schürmann: https://sourceforge.net/p/boomerang/bugs/78/