On Adding Precompiled Contracts without Hard Forks