Now compiling on GCC 4.8. EM-tree working.