Those are the three directories that I find it.

And i posted the version number just one time as each is the same.

More of a info post and a just in case if the one is bad as to where you can find a replacement.