use option as meta on mac
add auctex