CRUX 2.5 for i586 Contributed by Juergen Daubert