Added some required header files for printf etc.