fix for 32bit binary on i686 arch