fixed a missing pragma once in random01.hpp