diff --git a/build-agda-html.rb b/build-agda-html.rb
index 0e40ef0..ccdb1d3 100644
--- a/build-agda-html.rb
+++ b/build-agda-html.rb
@@ -31,6 +31,6 @@ files_for_paths.each do |path, files|
Dir.chdir(File.join [original_wd, path])
files.each do |file|
puts "Invoking 'agda' on file: #{File.join [Dir.getwd, file]}"
- `agda --local-interfaces #{file} --html --html-dir=html`
+ `#{ARGV[0]} --local-interfaces #{file} --html --html-dir=html`
end
end