mayavi: remove a hack from bash_script