GitLab

This solves the problem where the used pyenv is actually the one in a
Windows folder, instead of in WSL.

Fixes #9034