turned on reftex by default