Add must.php and fix composer.json