matplotlib: install the dot file