[PATCH] Fix build on 32bit target