Sync up with current versions of AST/PAL/ERFA