Fix for file extension in hardware