Fix pixman filename on linux.
close #8