message: fix previous commit; I somewhat broke John's patch..
diff: @@ -69,7 +69,7 @@ matrix:
  - env: CMAKE_CXX_COMPILER=g++-7 CMAKE_BUILD_TYPE=Release
  addons: *gcc7
  - - env: CMAKE_CXX_COMPILER=g++-8 CMAKE_BUILD_TYPE=Debug CMAKE_CXX_FLAGS=-fsanitize=address,undefined
  + - env: CMAKE_CXX_COMPILER=g++-8 CMAKE_BUILD_TYPE=Debug
  addons: &gcc8
  apt:
  sources: *default_sources
  @@ -80,7 +80,7 @@ matrix:
  - env: CMAKE_CXX_COMPILER=g++-8 CMAKE_BUILD_TYPE=Release
  addons: *gcc8
  - - env: CMAKE_CXX_COMPILER=clang++-7 CMAKE_BUILD_TYPE=Debug
  + - env: CMAKE_CXX_COMPILER=clang++-7 CMAKE_BUILD_TYPE=Debug CMAKE_CXX_FLAGS=-fsanitize=address,undefined
  addons: &clang7
  apt:
  sources:
  