The license of gnu-make and posix-shell is now "GPLed build tool". * modules/gnu-make (License): Likewise. * modules/posix-shell (License): Likewise.