Add x32 support