Use kinoli fix for issue #4