From 72d6315d14f9b517b0ff190cd205a4e143af2831 Mon Sep 17 00:00:00 2001
From: Fabian Giesen <rygorous@gmail.com>
Date: Tue, 18 Feb 2014 22:53:23 -0800
Subject: [PATCH] Various Linux fixes.

---
 Makefile   | 12 +++++++-----
 platform.h |  1 +
 2 files changed, 8 insertions(+), 5 deletions(-)

diff --git a/Makefile b/Makefile
index 9d486f9..e8123d7 100644
--- a/Makefile
+++ b/Makefile
@@ -1,13 +1,15 @@
+LIBS=-lm -lrt
+
 all: exam exam64 exam_simd_sse41 exam_alias
 
 exam: main.cpp platform.h rans_byte.h
-	g++ -o $@ $< -O3 -lm
+	g++ -o $@ $< -O3 $(LIBS)
 
 exam64: main64.cpp platform.h rans64.h
-	g++ -o $@ $< -O3 -lm
+	g++ -o $@ $< -O3 $(LIBS)
 
-exam_simd_sse41: main.cpp platform.h rans_word_sse41.h
-	g++ -o $@ $< -O3 -lm
+exam_simd_sse41: main_simd.cpp platform.h rans_word_sse41.h
+	g++ -o $@ $< -O3 -msse4.1 $(LIBS)
 
 exam_alias: main_alias.cpp platform.h rans_byte.h
-	g++ -o $@ $< -O3 -lm
+	g++ -o $@ $< -O3 $(LIBS)
diff --git a/platform.h b/platform.h
index 0bf24ac..5860fc3 100644
--- a/platform.h
+++ b/platform.h
@@ -42,6 +42,7 @@ double timer()
 #define __STDC_FORMAT_MACROS
 #include <time.h>
 #include <inttypes.h>
+#include <assert.h>
 
 static inline double timer()
 {