fixes stupid setup of javascript-vers json encoding