Use hsb2hs instead of file-embed for embed_data_files.