A PHP5 library to fix database encoding