fixes to appdevkit