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