Probably not the best fix but I just added:

require_once("../libs/html.inc.php");

after the other requires.