removing cuke4php cruft