replace platform dependent include to gmp