Try to find headers in a specific path and do not allow "mp_int"/"mp_digit" to conflict with other things