debian/rules: Only install gkhdplop.so on linux.