Oh! Actually, it's worse than that - it should be `extra`, not `std`! Fixed, and tested outside tree.