profiling support

only works with Linux for now