Config checks using address-model=32 in Linux don't use the right flags

Config checks using address-model=32 in Linux don't use the right flags #250