Choose the backend to use for the JIT.
By default, this is the best backend for the current platform.
