fix mayavi import