slugzero/jordan-kernel not found