alex4747-pub/proper_singleton not found