diff --git a/benchmarks/Http.ml b/benchmarks/http.ml
similarity index 100%
rename from benchmarks/Http.ml
rename to benchmarks/http.ml