[ agda-lib-ffi ] Fixed compilation with GHC 7.8.2.