Packages with different style file name are ignored

[sbruder]

Given this example document:

\documentclass{article}
\usepackage{MnSymbol}
\begin{document}
 $\bigcircle$
\end{document}

When running tex2nix on it, it does not add the package to the environment.

This is because there is no TeXLive package named MnSymbol, only mnsymbol. However, the style file is called MnSymbol.sty, so using \usepackage{mnsymbol} (for which tex2nix produces the correct environment) does not work.

I don’t know how this could be fixed, because searching the name of the style files would require building all TeXLive packages, which takes a long time and uses up a high amount of storage. In this specific case, a workaround might be to compare the packages case-insensitive, though that might lead to other problems.