Use zero for his 2017 AGI. That should work and let him e-file. if it does not then he has to print sign and mail the 2018 return.
**Disclaimer: Every effort has been made to offer the most correct information possible. The poster disclaims any legal responsibility for the accuracy of the information that is contained in this post.**