Bruno Haible - 2017-11-12

Please use the current hg tip and the instructions in unix/PLATFORMS.