Removing non existing header. Fixes 'make dist'.
Fix escaping error when using dash shell