fix of fix further fedora warning for #3585