Align PyDev interpreter name with Niklas