avoid using "void" for old GHC on Debian