I noticed that that sbcl binary was installed with the execstack bit on, while ecl and gcl had execstack off. Sbcl worked with both selinux enabled and disabled, gcl and ecl only with selinux disabled. If I switch the execstack bit on, both work as expected. This seems to be an extension of selinux compared to FC4... But how does it happen that sbcl has the execstack bit on? Rex? Also since gcl saves its image as an executable, the execstack bit for this executable must be switched on. How is this to be handled? Include a README.Fedora while explaining this? -- Gérard Milmeister Langackerstrasse 49 CH-8057 Zürich -- fedora-extras-list mailing list fedora-extras-list@xxxxxxxxxx https://www.redhat.com/mailman/listinfo/fedora-extras-list