Removed SMILE versions other than v10 again