Add x32 support to config script