I'm a student of Electronic Engineering and I'm trying to compile Alliance using RedHAT Linux 5.0. I'm not able to compile some of your tools (for example dreal): they require some include files (like Xm/Frame.h and Xm/Form.h) that I'm not able to find. Are they a standard component of Linux or I need to download them from another source? Thank you for your help, Bernardo Pastorelli.