Renamed frontend library and executables.