from Andreas Voegele (as discussed on ports@, binary does not contain version number anymore) ok bernd@