Made profiling stuff 64-bit ready (fixes #23)
Fixed printf calls.