The official repo has now implemented our needed bugfix.