Use webgme 0.5.12