I am a Informatic Engineering student and i have to work with your tool. I followed your instructions for the installation and configuration, and now i have a problem when i try to execute the file 'dreal'. In the XTerm i can see something like the following: Warning: Cannot allocate colormap entry for "gray" Warning: Cannot allocate colormap entry for default background Warning: Cannot allocate colormap entry for "tan" Warning: Type conversion failed Warning: Type conversion failed Warning: Cannot allocate colormap entry for "lawn green" Warning: Type conversion failed Warning: Type conversion failed Warning: Cannot allocate colormap entry for "spring green" Warning: Type conversion failed Warning: Type conversion failed Warning: Cannot allocate colormap entry for "light goldenrod" Warning: Type conversion failed Warning: Type conversion failed Warning: Cannot allocate colormap entry for "orange" Warning: Type conversion failed Warning: Type conversion failed Warning: Cannot allocate colormap entry for "light pink" Warning: Type conversion failed Warning: Type conversion failed Warning: Cannot allocate colormap entry for "dark violet" ......... Gmx101: Color name 'coral' is not in X11 database ! Gmx101: Color name 'light pink' is not in X11 database ! Gmx101: Color name 'dark violet' is not in X11 database ! Gmx101: Color name 'orchid' is not in X11 database ! Gmx101: Color name 'royal blue' is not in X11 database ! Gmx101: Color name 'sky blue' is not in X11 database I have a Pentium III with Red Hat 6.0 with the nucleus 2.2.12-4 and the window manager Enlightement, with Alliance 3.2