Small fix for linux 32bit and old(er) automake