Add our own auxilliary libs and fix file2.html example to reflect these