use github version (patched)