* command line option '--profile' is currently disabled, since the respective profiling code is currently broken