Use txt extension on all files