switch from "pretty" to "dot" formatter for phpspec