gtkctrlaltdel is a small GTK frontend to CTRL ALT DEL key kombination.
You no longer have to remember the combination to reset your computer, just launch gtkctrlaltdel and select the keys in an easy and user friendly environment.
1) look at Makefile
2) type make
This should produce the executable.
3) become root
4) type make install
5) if you are brave enough, make gtkctrlaltdel setuid root :-)