Warn if writing a file without the appropriate extension

Warn if writing a file without the appropriate extension #754