Checkpoint for vagrantfile