int3/doctorjs not found