compressed js, including fixes for #448 and #449