Fix: broken compilation with litmus-rt support.

Fixes minor bugs related to compiling with and without
litmus-rt support.