download virtuoso sources in container