# I only needed to do that like once in my years of server hosting experience, just to fix a mod install issue