Warning: require_once(/course/lib.php): failed to open stream: No such file or directory in /www/htdocs/w00ba96a/index.php on line 31

Fatal error: require_once(): Failed opening required '/course/lib.php' (include_path='.:/usr/share/php:..') in /www/htdocs/w00ba96a/index.php on line 31