This didn't solve the problem, but was definitely a bug of unknown consequence...