fix #75 phpdbg disabled by default