CRUX 0.9.4 for i586 Contributed by Jürgen Daubert