Fix the activate_extensions pragma so that it is a no-op when the required argument is omitted. FossilOrigin-Name: 6195ebd83323eaad92a0aa095cce1094bf8e2ba6