Libats depends on libgmp, so the link order should be specified directly.