  else ifneq ($(CONFIG),none)
  $(error Invalid CONFIG setting '$(CONFIG)'. Valid values: clang, gcc, gcc-4.8, emcc, mxe, msys2, msys2-64)
  endif
-@@ -551,6 +565,11 @@ EXTRA_OBJS += $(1)
+@@ -561,6 +575,11 @@ EXTRA_OBJS += $(1)
  .SECONDARY: $(1)
  endef
  

diff --git a/Makefile b/Makefile
index cd617987..0e054e79 100644
--- a/Makefile
+++ b/Makefile
@@ -342,6 +342,20 @@ ABCMKARGS += ARCHFLAGS="-DABC_USE_STDINT_H -DWIN32_NO_DLL -DHAVE_STRUCT_TIMESPEC
 ABCMKARGS += LIBS="-lpthread -s" ABC_USE_NO_READLINE=0 CC="x86_64-w64-mingw32-gcc" CXX="$(CXX)"
 EXE = .exe
 

 ifeq ($(PRETTY), 1)
 P_STATUS = 0
 P_OFFSET = 0
@@ -1004,6 +1023,12 @@ config-gprof: clean
 	echo 'CONFIG := gcc' > Makefile.conf
 	echo 'ENABLE_GPROF := 1' >> Makefile.conf
 
