Reverts the .int file, hopefully.