# Default configuration for mips64-linux-user