include <mutex> explicitly (due to changes in gcc 4.7)