Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix compilation on my system (Debian Wheezy...)
I'm not sure if it is the right fix.
- Loading branch information