Use stripped executable in regression tests