The Vagrant: Update 1.413.180715

Based on the feedback we collected, we fix some known minor issues. Enjoy The Vagrant!