Proper lib.php files