make libraries part of extension
make prettyprint more "clickable" in eclipse