[crux-commits] r547 - crux-2.1/ports/opt