Compatibility with sdk 1.4

Some bugfixes: (py)UAF compiles now with the SDK v1.4, and basic examples seem to work in Linux.