Explicitly cast void to FILE*. Fixes #32