Recipe for realGUD