Changing Linux to GNU/Linux Fixes #14 Refs #5276