Added latest stable GMP sources.