More Red Hat troubles with binary distribution