Switched to longterm kernel linux 3.12.16
Switched to latest gmp 6.0.0a