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