require reftex