This is common code for f0234, keep renaming files as has become standard, even if it's a suboptimal solution. This doesn't rename the header which was not renamed for f3. Reported-by: https://github.com/gtoonstra