The default configuration should be dev, so that PHP's built-in webserver can be used.