support 7.8.3 (fixes #41)