Switch to gnuflag, for more gnu-ish command lines