File malloc-alignment-bug.patch of Package tla

--- hackerlab/machine/gen-alignment.to-c
+++ hackerlab/machine/gen-alignment.to-c
@@ -20,8 +20,7 @@
   TYPE(long long, long_long) \
   TYPE(void *, pointer) \
   TYPE(float, float) \
-  TYPE(double, double) \
-  TYPE(long double, long_double)
+  TYPE(double, double)
 
 #undef TYPE
 #define TYPE(SCALAR, STRUCT) \