diff --git a/.travis.yml b/.travis.yml
index 01af5bf1..51591333 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -45,7 +45,7 @@ script:
     - make
     - |
       if [[ "${TRAVIS_OS_NAME}" == "osx" ]]; then
-          make -k check;
+          make check;
       else
           make check;
       fi
diff --git a/configure.ac b/configure.ac
index 010b7a55..a111a4d1 100644
--- a/configure.ac
+++ b/configure.ac
@@ -7,7 +7,7 @@ AC_PREREQ([2.65])
 # The version is the concatenation of 'v' and the year, month, date: vyyyymmdd
 # To access this as a string or integer triple, see libsrc/eclib/version.h
 
-AC_INIT([eclib], [20210415], [john.cremona@gmail.com])
+AC_INIT([eclib], [20210503], [john.cremona@gmail.com])
 
 AM_INIT_AUTOMAKE([-Wall])
 AC_MSG_NOTICE([Configuring eclib...])
@@ -41,7 +41,7 @@ LT_INIT
 # NB The suffix of the library name (libec.so here) is (c-a).a.r
 
 LT_CURRENT=8
-LT_REVISION=2
+LT_REVISION=3
 LT_AGE=1
 AC_SUBST(LT_CURRENT)
 AC_SUBST(LT_REVISION)
diff --git a/tests/out_no_ntl/tversion.out b/tests/out_no_ntl/tversion.out
index c33cc6c2..410b620c 100644
--- a/tests/out_no_ntl/tversion.out
+++ b/tests/out_no_ntl/tversion.out
@@ -1,12 +1,12 @@
-This eclib version is 20210415
-[ year month day ] = [ 2021 4 15 ]
+This eclib version is 20210503
+[ year month day ] = [ 2021 5 3 ]
 
 Configure options and compilation date:
 
-eclib version 20210415, using NTL bigints but no multiprecision floating point
+eclib version 20210503, using NTL bigints but no multiprecision floating point
 
 Testing comparison of version date and various (year, month, day) date triples:
 
-Date 20200101 is before the version date 20210415
-Date 20300611 is after the version date 20210415
-Date 20210317 is before the version date 20210415
+Date 20200101 is before the version date 20210503
+Date 20300611 is after the version date 20210503
+Date 20210317 is before the version date 20210503
diff --git a/tests/out_ntl/tversion.out b/tests/out_ntl/tversion.out
index cd66e9af..cdbf1066 100644
--- a/tests/out_ntl/tversion.out
+++ b/tests/out_ntl/tversion.out
@@ -1,12 +1,12 @@
-This eclib version is 20210415
-[ year month day ] = [ 2021 4 15 ]
+This eclib version is 20210503
+[ year month day ] = [ 2021 5 3 ]
 
 Configure options and compilation date:
 
-eclib version 20210415, using NTL bigints and NTL real and complex multiprecision floating point
+eclib version 20210503, using NTL bigints and NTL real and complex multiprecision floating point
 
 Testing comparison of version date and various (year, month, day) date triples:
 
-Date 20200101 is before the version date 20210415
-Date 20300611 is after the version date 20210415
-Date 20210317 is before the version date 20210415
+Date 20200101 is before the version date 20210503
+Date 20300611 is after the version date 20210503
+Date 20210317 is before the version date 20210503