Fixes issue #174: make URL parameters available in $_GET.