I recently installed the newest version of edm (4.1.1) and when I tried to install mayavi I got the message that mayavi is not available. pip install mayavi did not work either as this resulted in ...