fix d76ef7fe for linux, and add generic datatype dump functionality to jl_static_show