Sorry, previous commit left loader.cc with only a copyright statement.
Our copyright is important, but not *that* important!
I'll be more careful next time...