more flexible ghci option-passing