#!/bin/bash
echo Remaking "$1"
rm "$1" && mk "$1"