Deleted old STL conversion header