Установить платформо-независимые файлы в Linux $ make install-data Читайте также: Дробные числа при делении в Linux