You should have just installed it in sketchbook/libraries/ - libraries that are built into the Arduino software itself are compiled differently I believe.
In general putting code into the Arduino distribution means you'll lose it when you next upgrade!