Fixed a small bug building on linux