04c4201 fix build with system libffi

Authored and Committed by petersen 12 years ago
    fix build with system libffi
    
    - add rest of debian system-libffi patch,
    - copy libffi headers into rts build dir
    - acknowledge Debian's patch
    
        
file modified
+32 -1
file modified
+3 -0