do all the js compilation ourselves, so that we can have all sources in a nice format