added command line option for inlining (which is now by default disabled)