Updated version to 20140128: removed redundant gmp dependency;  sort roots