making boostrap -plain work without tty
oh, forgot the relevant -Os last time
Merge github.com:LibertyEiffel/Liberty
Fixing collection's bug