Workaround for IJulia