#516: Compress with correct js file extension

Resolves #516.