[PATCH 0/3] Misc build fixes