eliminate "#pragma once" (fix #313)