Fixing path to knuth.db