fixes https://github.com/tcurdt/jdeb/issues/64