strip out user conversion into convert-v3-to-v4.pl