issue18_test: use atf_check_equal() instead and cleanup stuff at the end.