AMIGAOS: Cleaning up of the AmigaOS version number