bash: add .sh extensions