# Default configuration for irix-linux-user