Making `system` use the proper shell to avoid breakages on Debian