change lib.php