switch to release version of extjs
remove an excess slash from an URL