Remove deprecated files (for real this time)