#!/bin/bash

outfile=$1

cat > $outfile.core_helper
mv -f $outfile.core_helper $outfile

