make -property switch build happy