Fixed minor issues: we can now run compiled tests at level!