diff --git a/repos/base/src/lib/cxx/new_delete.cc b/repos/base/src/lib/cxx/new_delete.cc
index 65773fa5ff..62bb3563ec 100644
--- a/repos/base/src/lib/cxx/new_delete.cc
+++ b/repos/base/src/lib/cxx/new_delete.cc
@@ -73,8 +73,16 @@ __attribute__((weak)) void operator delete (void *) noexcept
 	              "A working implementation is available in the 'stdcxx' library.");
 }
 
+
 __attribute__((weak)) void operator delete (void *, unsigned long)
 {
 	Genode::error("cxx: operator delete (void *, unsigned long) called - not implemented. "
 	              "A working implementation is available in the 'stdcxx' library.");
 }
+
+
+__attribute__((weak)) void operator delete (void *, unsigned long, std::align_val_t)
+{
+	Genode::error("cxx: operator delete (void *, unsigned long, std::align_val_t) called - not implemented. "
+	              "A working implementation is available in the 'stdcxx' library.");
+}