gnum4: update to version 1.4.17