Cannot load shared library

[Davide Bolcioni]

Greetings,
I have the following in /var/log/messages:

kernel: audit(...): avc: denied { execmod } for pid=14208 comm=hicgi 
path=/opt/highway/bin/hssock.so dev=dm-2 ino=4177 
scontext=user_u:system_r:unconfined_t tcontext=system_u:object_r:bin_t 
tclass=file

where "hicgi" is an executable attempting to load the shared library 
"/opt/highway/bin/hssock.so" ... and failing. The contexts are:

# ls -Z hicgi
-rwx------  highway  highway  system_u:object_r:bin_t          hicgi
# ls -Z hssock.so
-rwxr-xr-x  highway  highway  system_u:object_r:bin_t          hssock.so

Thank you for your consideration,
Davide Bolcioni
-- 
There is no place like /home.