let default_netmhc_locations (): Netmhc.netmhc_file_locations = Netmhc.({   netmhc=(default_tool_location "NetMHC" ());   netmhcpan=(default_tool_location "NetMHCpan" ());   pickpocket=(default_tool_location "PickPocket" ());   netmhccons=(default_tool_location "NetMHCcons" ()); })