#516: Bash 'web', compress javascript with correct file extension