minor cleanup of gnu-file