Do not erroneously use the Null backend, allow to choose the backend with a command-line switch