bugfix for newer Mono versions