Commit e5ab34fd3a104f7ff2f0b36c66770c88b2ea1051

Behdad Esfahbod 2018-02-16T16:58:17

Misc fixes Should bring bag djgpp bot.