AMIGAOS: Cleanup of the AmigaOS version number