Make vagrant scripts work with bash 3

Fixes #1890