use the released version of mayavi