Remind users to use Vagrantfile