small dev fixes for new basisjs-tools server