add jl_flush_cstdio to expmap (for Linux)