Fix the file extension of exported files

BMS-72

Reviewer: Daniel Jao