Fix build break on x86_64 introduced in commit ed455f0c98