What are the exact conditions when a user would need to have the tex libraries installed?