Ignore nios_workspace