Fix ext.jl