Linux: use vault directly without docker

[joergi]

as it's done for MAC:

Do not use docker for vault, use it directly, it's faster!