diff --git a/compiler2/Int.cc b/compiler2/Int.cc
index 7809967114a5d7768905d41466ed1c3fc1640fc7..a2fed372be9db2c24859175fc111284fd5ed2866 100644
--- a/compiler2/Int.cc
+++ b/compiler2/Int.cc
@@ -27,7 +27,6 @@
 #include <stdlib.h>
 #include <stdio.h>
 #include <errno.h>
-#include <math.h>
 
 // We cannot check without using a "./configure" script or such if we have
 // llabs() or not.  Define our own function instead.
diff --git a/compiler2/Value.cc b/compiler2/Value.cc
index f62a4180357a8d456d0aa67a787d590727342a85..9b0e6c6155b07be9718de454e7b18bfefea11d4b 100644
--- a/compiler2/Value.cc
+++ b/compiler2/Value.cc
@@ -56,7 +56,6 @@
 #include "../common/JSON_Tokenizer.hh"
 #include "ttcn3/Ttcn2Json.hh"
 
-#include <math.h>
 #include <regex.h>
 #include <limits.h>
 
diff --git a/core/config_process.l b/core/config_process.l
index 4e0979486e139a080a74741c3570d8d1aa47a6c2..6382902f3f6cabca68d5d1ec2371de372d3daf09 100644
--- a/core/config_process.l
+++ b/core/config_process.l
@@ -34,7 +34,6 @@
 
 #include <deque>
 #include <string>
-#include <math.h>
 
 #include "../common/cfg_process_utils.hh"
 #include "../common/Path2.hh"
diff --git a/mctr2/cli/config_read.l b/mctr2/cli/config_read.l
index b0ba7810c306245cbbfefa1197df3cbcd91093c5..81eecc2f21e33a5ca523897d8229db3a76135be2 100644
--- a/mctr2/cli/config_read.l
+++ b/mctr2/cli/config_read.l
@@ -35,7 +35,6 @@
 
 #include <deque>
 #include <string>
-#include <math.h>
 
 #include <openssl/crypto.h>
 #include <openssl/bn.h>