How to change default program file extension