fix wrong file extension

Signed-off-by: Arnav Gupta <championswimmer@gmail.com>