Not sure but dosbox will have to let us know, but it sounds like the steam achievement did not unlock because the in game achievement was already triggered. I am just thinking that in order to get the steam achievement to trigger he may need to clear out the in game achievement although I don't recall if we made that possible. I think we scripted it, but I am not sure if we enabled it.