Fix a pasting botch in v1.54 that killed Linux i386