Just for the record and because of xkcd 979, the Pull Request https://github.com/SUSE/DeepSea/pull/1812 (commit 903e258) has a fix, currently waiting to be merged.