add mutex to guard simplex solver (since GLPK is not thread-safe)
note
repair cabal file