Bjoern support

Just wanted to say that this is not required by bjoern, but merely an option that I personally decided to turn on by default in the default bjoern initialization. If you don't set this option in all the other backends, then maybe you don't want to enable it for bjoern either.