Use binutils 2.15, not 2.16, because it doesn't have a bug in the
[pintos-anon] / specs / freevga /
2004-09-08 Ben PfaffSpecifications.