Changed default port for Pragbot connection to 10006