Build #5259 (May 7, 2024, 4:40:24 PM)

	Changes Fix some Linux builds compilation (#12392) (details / githubweb)
	Push event to branch master at 4:40:10 PM on May 7, 2024
	Revision: 5f06291bb505aaccdf638d57541bbc660c2ce145 Repository: https://github.com/OpenModelica/OpenModelica.git master
	Superseded by OpenModelica/master#5260