Fedora has system-type gnu/linux, change to use just linux.