Ptr{None} -> Ptr{Void}

Ptr{None} is deprecated, see https://github.com/JuliaLang/julia/issues/8423