added test to check for missing binary annotations