redirect stderr to /dev/null (because of https://savannah.nongnu.org/bugs/?37667)