openmp-rt:  fixed 'unused command line argument' errors