#1984 fix as @bilderbuchi suggested

The change was only done to the x86-64 version of this makefile.