Raspberry Pi port, piCore-16.0 is available!
FailedUpdates complete.
Ok, saw the issue, should be fixed now.