Add recipe for ensuring header file basename uniqueness
Add recipe for ensuring header file basename uniqueness

stdlib-js/stdlib,stdlib-js/stdlib,stdlib-js/stdlib,stdlib-js/stdlib,stdlib-js/stdlib,stdlib-js/stdlib,stdlib-js/stdlib,stdlib-js/stdlib