fix compilation on 32bit platforms