build error

[vyrus001]

...
Checking code with gofmt..
gofmt -s *.go >/dev/null
go test -v
/usr/lib/gcc/x86_64-pc-linux-gnu/7.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: ./libz3.a(hwf.o): undefined reference to symbol 'fesetround@@GLIBC_2.2.5'
/lib64/libm.so.6: error adding symbols: DSO missing from command line
collect2: error: ld returned 1 exit status
FAIL _/home/vyrus/src/go-z3 [build failed]
make: *** [Makefile:25: test] Error 2

---

Linux 4.9.18-hardened #13 SMP Wed Apr 5 15:04:14 PDT 2017 x86_64 Intel(R) Core(TM) i7-6600U CPU @ 2.60GHz GenuineIntel GNU/Linux

go version devel +03c3bb5f84 Sat Sep 2 21:00:08 2017 +0000 linux/amd64

[vyrus001]

fixed it (don't have a PR for it) by changing the link to libz3.a in vendor/build to libz3.so in z3.go