Disable WITH_TESTS= for now.