A bash utility for switching two files