[crux-commits] r886 - crux-2.1/ports/opt/cogito