added maxima support; disable js tern