Some configuration code on Pike doesn't deal with 64bits machines (eg non x86 one). This patch is trying to fix it. PR: ports/74315 Submitted by: Xavier Beaudouin <kiwi@oav.net>