$SMOKE_TESTS doesn't seem to be defined, and I think it would need to be in a format like `-Dtests=xxx` anyway...