vera++ / linux