CRUX 2.3 for i586 Contributed by Jürgen Daubert