  * Add support for Linux systems?  (i.e., install the other extensions,
    tools, and shared libraries.)
