Workaround for vagrant problem