Vagrant file to use mfiler4 on centos7.