Thanks for the patch, I have pushed it after adding a (trivial) comment why tests are disabled. Andreas