Make file double-click executable by changing file extension