document mysql include dire command line option