Install simple_tp.h to fix header-sanity test
Fix the ini and hal files in the subroutine-return test