ccadar/klee — pull request #60 by MartinNowack (2013-11-01 23:25:44+00:00)
Title: Fix build of POSIX file descriptor functions

Build Large File System functions for 32bit and 64bit correctly.

Fix the previous build fix.
Solves a couple of failing tests.