 diff -r be054bc7ed86 common/read_ply.cpp
 --- a/common/read_ply.cpp	Fri Oct 25 12:19:31 2013 +1100
-+++ b/common/read_ply.cpp	Tue Dec 10 11:38:43 2013 -0700
++++ b/common/read_ply.cpp	Fri Dec 13 15:41:55 2013 -0700
 @@ -30,7 +30,7 @@
  
  #include <fstream>

     result = (double) (a - 1073741824) * 8388608.0 + (double) (b >> 8);
     for (i = 512, expo = 2; i <= 131072; i *= 2, expo = expo * expo) {
       if (c & i) {
@@ -532,8 +538,8 @@
   
   /*****************************************************************************/
   /*                                                                           */

 typedef short int16_t;
diff -r be054bc7ed86 include/carve/carve.hpp
--- a/include/carve/carve.hpp	Fri Oct 25 12:19:31 2013 +1100
+++ b/include/carve/carve.hpp	Fri Dec 13 15:41:55 2013 -0700
@@ -26,7 +26,8 @@
 #  include <carve/config.h>
 #endif
