Copyright (C) 2012 Free Software Foundation, Inc.

   Copying and distribution of this file, with or without modification,

   are permitted in any medium without royalty provided the copyright

   notice and this notice are preserved.

Extensions now build separately.