rename extension - it's a shell script, not javascript!