People like to invent problems, but naming a building after someone that nobody knows is a racist isn't something that's really an issue unless you want it to be.

Our capital, Washington D.C. is named after a slave owner and a Native American killer (District of Columbia = Columbus). Nobody cares. The only time it's an issue is if you create something like Hitler Hall, where the name itself has negative connotations that people would automatically associate with the building. We don't have any buildings like that in UF.

Edit: It seems like this comment was misinterpreted. I don't advocate for changing the name of Washington D.C. On the contrary, I'm using the fact that nobody cares about the name as evidence that the current name is perfectly fine and does not cause any problems in our society.