Hello Brian, Brian Leung writes: > See attached. Pushed as 3dbd240937a7fb4322db21bc1bf6189a1a512223 with adding a line to ‘gnu/local.mk’. Also the package recipe didn't apply the patch, because it wasn't declared in ‘(source … (patches ; …))’, and I didn't catch this before a push. Fixed in 37aaf9a8c7d64ae69c4670a12f481dfc0aac53ae. Oleg.