Updated external annotations and added compile-tests target.