[PATCH] Fix x86-64 compilation