# Default configuration for mips-linux-user