Error including devel.root/config.php