Fix distfiles for 32-bit systems