Fixed #1 by amalgamating some sources into one file.