Fix usage of `ert-deftest'

Signed-off-by: Moritz Ulrich <moritz@tarn-vedra.de>