[FIX] Options: adopt options defined in .basex configuration file