temporary workaround for julia issue #5793