Use version 5.0.x-dev for PHP-DI