Delete rtai-4.0-config