Separable integral extensions and plus closure

We show that an excellent local domain of characteristic p has a separable big Cohen-Macaulay algebra. In the course of our work we prove that an element which is in the Frobenius closure of an ideal can be forced into the expansion of the ideal to a module-finite separable extension ring.