Remove unneeded files from bin

These were useful earlier but now serve no purpose.