AMIGAOS: Get rid of the OS version number

The number will certainly change through future development.