So does phalcon still has a vagrant file ?

i dont seem to get phalcon to work with vagrant and it would be nice to have a box ready to deploy.