work around julia 2919 (should fix #18)