Workaround bug due to missing dependencies in Debian tools (fixes build on Debian).