avoid ubuntu dash problem with sh