define @spec_path in tracker