Always load the 32-bit dll containing a given 16-bit builtin.