dce1dc2a2f07973ac61108487add3573 crux-3.1.iso