twelf binary does not seem to work, so revert back to lamp one