Add include.php for including both stdlib and vendor