Now the issue #1236 should be resolved.