remove devel/fox, committed to cvs by bcallah@