# File setup.rb, line 538
  def srcfile(path)
    "#{curr_srcdir()}/#{path}"
  end