Description of problem:

I am using Fedora 18 x64. I've just installed frama-c, and it crashes at startup with the following error:
==================================================
[kernel] failure: Cannot find file libc/__fc_builtin_for_normalization.i, needed for Frama-C initialization. Please check that /usr/share/frama-c is the correct share path for Frama-C.
[kernel] The full backtrace is:
         Raised at file "src/kernel/log.ml", line 523, characters 30-31
         Called from file "src/kernel/log.ml", line 517, characters 9-16
         Re-raised at file "src/kernel/log.ml", line 520, characters 15-16
         Called from file "src/kernel/file.ml", line 169, characters 4-171
         Called from file "src/project/project.ml", line 367, characters 12-15
         Called from file "src/project/project.ml", line 372, characters 17-22
         Re-raised at file "src/project/project.ml", line 372, characters 56-57
         Called from file "queue.ml", line 135, characters 6-20
         Called from file "src/project/project.ml", line 303, characters 2-21
         Called from file "src/project/project.ml", line 314, characters 27-44
         Called from file "src/kernel/boot.ml", line 69, characters 17-43
         Called from file "src/kernel/cmdline.ml", line 197, characters 4-8
         
         Frama-C aborted: internal error.
         Please report as 'crash' at http://bts.frama-c.com/.
         Your Frama-C version is Oxygen-20120901.
         Note that a version and a backtrace alone often do not contain enough
         information to understand the bug. Guidelines for reporting bugs are at:
         http://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:bug_reporting_guidelines
==================================================


Version-Release number of selected component (if applicable):

Nom                 : frama-c
Architecture        : x86_64
Version             : 1.8
Révision            : 5.fc18
Taille              : 70 M
Dépôt               : installed
Depuis le dépôt     : updates


How reproducible: Always


Steps to Reproduce:
1. yum install frama-c
2. frama-c


Actual results: The previous error message.


Expected results: Frama C should start.