devlist.cpp needs <iomanip>
Change file locking in devlist.hpp

Use timed_lock() instead of several try_lock()'s with random waiting
intervals.