Simplify how to include tinytest by using the global namespace (which is OK for a test suite)