let
set_build_dir s = make_links :=
false
; build_dir := s