Try to fix inconsistent release manifest generation

Apparently on some platforms "a5" < "a-" and on others
"a-" < "a5"
Try to fix inconsistent release manifest generation; Take 2
Style change to skel to match shark.