fix building on 32bit machines