glue -> frontend + headers/types fixes