Fix build with bash as standard scripting shell