/profiles/default-linux/amd64/dev/

• ../
• 32bit-userland