Patch to upgrade debian vagrant package to 1.4.3