Fix bash vs sh incompatibility