Update gnu-tools.js