diff --git a/README.md b/README.md
index ee343bc7..c24f0e09 100644
--- a/README.md
+++ b/README.md
@@ -25,7 +25,7 @@ You can reach PropEr's developers in the following ways:
 We welcome user contributions and feedback (comments, suggestions, feature
 requests, bug reports, patches, etc.).
 
-Copyright 2010-2018 by Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas.
+Copyright 2010-2019 by Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas.
 
 This program is distributed under the [GPL](http://www.gnu.org/licenses/gpl.html),
 version 3 or later. Please see the [COPYING][license] file for details.
@@ -96,8 +96,6 @@ Quickstart guide
     dialyzer PLT. To do the above but also build PropEr's documentation issue
     a `make all` call; in that case, you are going to need the `syntax_tools`
     application and a recent version of `EDoc`).
-    Optionally, sfmt-erlang can be selected as an alternative random number
-    generator using `./configure --use-sfmt` before running `make`.
 *   If you are using [Homebrew](https://brew.sh), you can simply:
 
     ```shell
@@ -117,7 +115,6 @@ Quickstart guide
          ```erlang
              code:load_abs("/full/path/to/proper").
          ```
-    If using the sfmt RNG be sure to add /full/path/to/proper/deps/sfmt too.
 *   Add the following include line to all source files that contain properties:
 
     ```erlang
diff --git a/configure b/configure
deleted file mode 100755
index 2f69132d..00000000
--- a/configure
+++ /dev/null
@@ -1,79 +0,0 @@
-#! /bin/sh
-
-# -*- coding: utf-8 -*-
-# --------------------------------------------------------------------
-# Copyright 2010-2016 Manolis Papadakis <manopapad@gmail.com>,
-#                     Eirini Arvaniti <eirinibob@gmail.com>
-#                 and Kostis Sagonas <kostis@cs.ntua.gr>
-#
-# This file is part of PropEr.
-#
-# PropEr is free software: you can redistribute it and/or modify
-# it under the terms of the GNU General Public License as published by
-# the Free Software Foundation, either version 3 of the License, or
-# (at your option) any later version.
-#
-# PropEr is distributed in the hope that it will be useful,
-# but WITHOUT ANY WARRANTY; without even the implied warranty of
-# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-# GNU General Public License for more details.
-#
-# You should have received a copy of the GNU General Public License
-# along with PropEr.  If not, see <http://www.gnu.org/licenses/>.
-
-
-usage()
-{
-    echo "usage: $0 [--use-sfmt | --help]"
-    exit 1
-}
-
-sfmt()
-{
-    echo "Using the sfmt-erlang random module"
-    grep -q sfmt rebar.config || cat >> rebar.config <<DONE
-{deps, [
-    {sfmt, ".*", {git, "https://github.com/jj1bdx/sfmt-erlang.git",
-                  {branch, "master"}}}
-    ]}.
-DONE
-    grep -q USE_SFMT rebar.config || \
-        sed -i "s/debug_info/debug_info, {d, 'USE_SFMT'}/" rebar.config
-    grep -q sfmt src/proper.app.src || \
-        sed -i 's/stdlib/stdlib,sfmt/' src/proper.app.src
-}
-
-random()
-{
-    echo "Using Erlang's 'random' ('rand' in 19.0 and later) module"
-    grep -q USE_SFMT rebar.config && \
-        sed -i "s/debug_info, {d, 'USE_SFMT'}/debug_info/" rebar.config
-    grep -q sfmt rebar.config && sed -i '/^{deps/,$d' rebar.config
-    grep -q sfmt src/proper.app.src && \
-        sed -i 's/stdlib,sfmt/stdlib/' src/proper.app.src
-}
-
-cleanup()
-{
-    rm -f ebin/* deps/*/ebin/*
-    rm -f .eunit/*
-}
-
-if [ $# -eq 0 ]; then
-    cleanup
-    random
-else
-    case $1 in
-	--use-sfmt)
-            cleanup
-            sfmt
-            ;;
-	-h|--help)
-            usage
-            ;;
-	*)
-            echo $0": unrecognized option:" $1
-            exit 1
-	    ;;
-    esac
-fi
diff --git a/include/proper_internal.hrl b/include/proper_internal.hrl
index a61e8d6d..c4d7af47 100644
--- a/include/proper_internal.hrl
+++ b/include/proper_internal.hrl
@@ -1,7 +1,7 @@
 %%% -*- coding: utf-8 -*-
 %%% -*- erlang-indent-level: 2 -*-
 %%% -------------------------------------------------------------------
-%%% Copyright 2010-2018 Manolis Papadakis <manopapad@gmail.com>,
+%%% Copyright 2010-2019 Manolis Papadakis <manopapad@gmail.com>,
 %%%                     Eirini Arvaniti <eirinibob@gmail.com>
 %%%                 and Kostis Sagonas <kostis@cs.ntua.gr>
 %%%
@@ -20,7 +20,7 @@
 %%% You should have received a copy of the GNU General Public License
 %%% along with PropEr.  If not, see <http://www.gnu.org/licenses/>.
 
-%%% @copyright 2010-2018 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
+%%% @copyright 2010-2019 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
 %%% @version {@version}
 %%% @author Manolis Papadakis
 %%% @doc Internal header file: This header is included in all PropEr source
@@ -33,20 +33,13 @@
 %% Random generator selection
 %%------------------------------------------------------------------------------
 
--ifdef(USE_SFMT).
--define(RANDOM_MOD, sfmt).
--define(SEED_NAME, sfmt_seed).
-
--else.
-
 -ifdef(AT_LEAST_19).
--define(RANDOM_MOD, rand).   %% for 19.x use the 'rand' module
+-define(RANDOM_MOD, rand).   %% for 19.x onwards use the 'rand' module
 -define(SEED_NAME, rand_seed).
 -else.
 -define(RANDOM_MOD, random).
 -define(SEED_NAME, random_seed).
 -endif.
--endif.
 
 
 %%------------------------------------------------------------------------------
diff --git a/src/proper_gen.erl b/src/proper_gen.erl
index 61bc787f..b6d85097 100644
--- a/src/proper_gen.erl
+++ b/src/proper_gen.erl
@@ -1,7 +1,7 @@
 %%% -*- coding: utf-8 -*-
 %%% -*- erlang-indent-level: 2 -*-
 %%% -------------------------------------------------------------------
-%%% Copyright 2010-2017 Manolis Papadakis <manopapad@gmail.com>,
+%%% Copyright 2010-2019 Manolis Papadakis <manopapad@gmail.com>,
 %%%                     Eirini Arvaniti <eirinibob@gmail.com>
 %%%                 and Kostis Sagonas <kostis@cs.ntua.gr>
 %%%
@@ -20,7 +20,7 @@
 %%% You should have received a copy of the GNU General Public License
 %%% along with PropEr.  If not, see <http://www.gnu.org/licenses/>.
 
-%%% @copyright 2010-2017 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
+%%% @copyright 2010-2019 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
 %%% @version {@version}
 %%% @author Manolis Papadakis
 
@@ -632,11 +632,6 @@ function_body(Args, RetType, {Seed1,Seed2}) ->
 	    proper_symb:internal_eval(Ret)
     end.
 
--ifdef(USE_SFMT).
-update_seed(Seed) ->
-    _ = sfmt:seed(Seed),
-    ok.
--else.
 -ifdef(AT_LEAST_19).
 update_seed(Seed) ->
     _ = rand:seed(exsplus, Seed),
@@ -645,4 +640,3 @@ update_seed(Seed) ->
 update_seed(Seed) ->
     put(?SEED_NAME, Seed).
 -endif.
--endif.