RefTeX does not use external tool to find resource. Too brittle