More formatting for our needs
Use another tmp file so we can have input / output be same file