El Capitan makes all kinds of things run faster