Changing default backend, grisu version