Fixed DSO linking problem on Linux
Fixed bad printf