For chipKIT, change default to long double rather than short double