Fix back rt_get_exectime

Somewhere along the line, my commit 108fdefb that introduced
rt_get_exectime has been partly reverted (bad merge with magma?).  This
fix that.

Signed-off-by: Shahbaz Youssefi <ShabbyX@gmail.com>
Merge remote-tracking branch 'origin/master'