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" ());
})