Build the portable interpreter version of Poly/ML instead of native polyml