CRUX 2.3 installation problem