What can you add to green beans for flavor?