Put the hvmloader path in the config file, and check it exists on server start.