I can confirm that 5.1.1-SNAPSHOT is working now. Thanks to @Matthias Kurz for the pull request and to @Vlad Mihalcea for applying it.