fix web_lib.php related to nginx