Fix the last remaining direct use of $_SERVER['QUERY_STRING'] (which can be empty with some webservers).

fix #133