follow update of github repository

Logger.remove and shebang of session-monitor have been included in the
github repository.