Hi @kees, master always point to the last dev version, and that’s 1.8.0-dev. The patch 1.7.1 exists only in the release/1.7 branch. Still, for the interpreter I suggest you keep with the latest dev version. There’s already a bugfix in 1.8.0-dev that isn’t present in 1.7.1. So you’re good 
3 Likes