Close #1268: Removed obsolete util