I see that Amiberry 3.1.2 is available from github. I tested it, and it does work from the desktop environment. But replacing the 3.1.1 binary with 3.1.2 does not work, it will not run from the Amibian menu.
I notice that 3.1.2 binary is much smaller than the 3.1.1 that comes with Amibian 1.5.
Does it need to be compiled in a different way to work fron commandline?
I had to reinstall Amibian due to a faulty sdcard. I first tried to update by using the updater found in the system settings menu, but rebooting it failed to open the Amibian show-menu script.
I then reinstalled Amibian again, but now I used the method as described in my prevous post. That worked, and now Amiberry is version 3.2Beta.