need to use openlibm static library (from source currently) to pass test/random.jl