# # options for the libmpeg3 configure