Fix last bashism : we are now using correct sh sequence