Fixed #889: --hpx:debug-hpx-log=FILE does not work