Trader Joe's Vanilla Bean Paste and Great Value Vanilla Extract

Are these ok for Pesach? Thank you!
Trader Joe’s Vanilla Bean Paste - Madagasgar Vanilla
Ingredients: sugar, water, vanilla extract (water, ethyl alcohol, vanilla bean extractives), vanilla bean specks, acacia gum, xanthin gum

Great Value Pure Vanilla Extract
Ingredients:Vanilla bean extractives in water, alcohol (41%)

Source of alcohol needs to be verified