workaround for sudo problem with vagrant user