Update knopflerfish due to problems with Java 1.8 on MacOS