Don't depend on the mitx directory being named that, so that tests will run in jenkins where mitx is checked out as workspace