BTW: Usually I use my #GoogleOP1 / #RK3399 powered ASUS Chromebook C101p that runs #ArchLinuxARM from microSDXC for compile tasks like that, but I sadly don't have it with me right now.