correct provides on x86_64