pipe php stderr to /dev/null