Don't reverse order of C libraries

Looks like they were sorted correctly in the first place. Needed to link zarith, whose C stubs depend on those from gmp.