link with rt on Linux. Fixes #9