20 mm square to 25 mm round converter

Nothing really, just another one of those uploads so I don't lose the file, a 25 mm circle that is 4 mm thick and has a 1 mm deep 20 by 20 mm insert for those models that work in both square and round base games and are on a 20 mm square since they usually run on 25 mm rounds. The corners will hang over the edges due to pythagoras and it will look weird, but it should work, and I just wanted someting simple and practical.